The Foundational Legacy of ASL

نویسندگان

  • Donald Sannella
  • Andrzej Tarlecki
چکیده

We recall the kernel algebraic specification language ASL and outline its main features in the context of the state of research on algebraic specification at the time it was conceived in the early 1980s. We discuss the most significant new ideas in ASL and the influence they had on subsequent developments in the field and on our own work in particular.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Meanings of Foundational Virtue in Islamic Mystical Ethics: A Case Study of Honesty

In mystical ethics, some virtues have a foundational role in relation to other virtues; that is, other virtues are in some ways dependent on, conditional to, or rooted in them. This is a gradational concept, and therefore one can speak of foundational and more foundational among foundational virtues in mysticism. Honesty is the most foundational virtue in mystical ethics, and other virtues are ...

متن کامل

Honesty as a Foundational Virtue According to Islamic Mystical Ethics: Introduction and Definition

Honesty in Islamic mystical ethics, at a superficial level, refers to the correspondence between speech, action, and intention and purpose. This application of honesty has been analyzed in depth in mystical ethics, and the analysis has resulted in honesty being considered as the foundation and basis of other virtues from five aspects, from which it can be understood that many of virtues are not...

متن کامل

Reform by reflection: Schön’s legacy to management practice in times of uncertainty

In this paper, we revisit Donald Schön’s scholarly work on “handling uncertainty”, suggesting that in order to cope reasonably well with uncertainty, practitioners should be encouraged to take a reflective existential stance, aimed to explore their own tacit personal style (i.e., theories-in-use). They should (i) recall and reflect on their theories-in-use to bear on the phenomenon, (ii) metaph...

متن کامل

IMPACT: A Multi-Agent Framework with Declarative Semantics

The IMPACT project (http://www.cs.umd.edu/projects/impact) aims at developing a powerful multi-agent system platform, which (1) is able to deal with heterogenous and distributed data, (2) can be realised on top of arbitrary legacy code, (3) is built on a clear foundational basis, and (4) scales up for realistic applications. We will describe its main features and several extensions of the langu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015